﻿% Dạng 4.1.4 {con vật} thuộc lớp {thông tin về lớp}  phải không/phải vậy không/đúng vậy không?


cau_hoi(cau_hoi(TT,NV,DH)) --> thong_tin(TT) , tu_nghi_van(NV) , dau_hoi(DH).

thong_tin(thong_tin(DTTT,DT,TL,TT)) --> doi_tuong_thong_tin1(DTTT), dong_tu(DT), tu_lop(TL), doi_tuong_thong_tin2(TT).

doi_tuong_thong_tin1(doi_tuong_thong_tin1(X)) --> [X].

doi_tuong_thong_tin1(doi_tuong_thong_tin1(X)) --> [con,X].

dong_tu(dong_tu(thuộc)) --> [thuộc].

tu_lop(tu_lop(lớp)) --> [lớp].

doi_tuong_thong_tin2(doi_tuong_thong_tin2(X)) --> [X].

tu_nghi_van(tu_nghi_van(phải_không)) --> [phải,không].

tu_nghi_van(tu_nghi_van(phải_vậy_không)) --> [phải,vậy,không].

tu_nghi_van(tu_nghi_van(đúng_vậy_không)) --> [đúng,vậy,không].

dau_hoi(dau_hoi(?)) --> [?].